
<html><head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<meta content="text/javascript" http-equiv="content-script-type">
<title>lattice.reprezentation</title>
<link rel="stylesheet" type="text/css" href="candydoc/style.css">
<!--[if lt IE 7]><link rel="stylesheet" type="text/css" href="candydoc/ie56hack.css"><![endif]-->
<script language="JavaScript" src="candydoc/util.js" type="text/javascript"></script>
<script language="JavaScript" src="candydoc/tree.js" type="text/javascript"></script>
<script language="JavaScript" src="candydoc/explorer.js" type="text/javascript"></script>
</head><body>
<div id="tabarea"></div><div id="explorerclient"></div>
<div id="content"><script>explorer.initialize("lattice.reprezentation");</script>
	<table class="content">
		<tr><td id="docbody"><h1>lattice.reprezentation</h1><!-- Generated by Ddoc from M:\D\chikoko\lattice\reprezentation.d -->
Obsługa różnych reprezentacji całkowitych form kwadratowych
<br><br>
Zawiera klasy elementarnych struktur danych (np. całkowita macierz kwadratowa,
 graf skierowany, graf nieskierowany, poset) oraz klasę reprezentującą całkowitą
 formę kwadratową w sposób dynamiczny uniwersalny.

<br><br>
<b>Author:</b><br>
Tomasz Polachowski, <a href="mailto:sprytnyserek@gmail.com">sprytnyserek@gmail.com</a>
<br><br>
<b>License:</b><br>
GNU General Public License 2.0, <a href="http://www.fsf.org/licensing/licenses/gpl.html">http://www.fsf.org/licensing/licenses/gpl.html</a>
<br><br>
<b>Version:</b><br>
0.0.1
 
<br><br>


<script>explorer.outline.incSymbolLevel();</script>
<dl>
<script>explorer.outline.writeEnabled = true;</script>
<dt><span class="decl">class 
<span class="currsymbol">SqIntMatrix</span>
<script>explorer.outline.addDecl('SqIntMatrix');</script>

;
</span></dt>
<script>explorer.outline.writeEnabled = false;</script>


<dd>Klasa macierzy kwadratowych o współczynnikach całkowitych
<br><br>
Wspiera operacje macierzowe konieczne do reprezentacji całkowitych
 form kwadratowych, z zachowaniem całkowitoliczbowego charakteru struktury.
 
<br><br>


<script>explorer.outline.incSymbolLevel();</script>
<dl>
<script>explorer.outline.writeEnabled = true;</script>
<dt><span class="decl">this(uint <span class="funcparam">n</span>);
</span></dt>
<script>explorer.outline.writeEnabled = false;</script>


<dd><b>Params:</b><br>
<table><tr>
<td nowrap valign="top" style="padding-right: 8px">uint <span class="funcparam">n</span></td>

               
<td>wymiar macierzy kwadratowej</td></tr>
</table><br>

</dd>

<script>explorer.outline.writeEnabled = true;</script>
<dt><span class="decl">byte 
<span class="currsymbol">getSylvesterType</span>
<script>explorer.outline.addDecl('getSylvesterType');</script>

();
</span></dt>
<script>explorer.outline.writeEnabled = false;</script>


<dd>Stosując kryterium Sylvestera, sprawdza typ formy kwadratowej
 reprezentowanej przez macierz ze względu na dodatnią określoność.
<br><br>
<b>Uwaga!</b> Jeżeli forma jest dodatnio określona (odpowiednio:
 nieujemnie określona), to jest słabo dodatnia (odpowiednio: słabo nieujemna).
 Twierdzenie odwrotne <b>NIE</b> jest prawdziwe.

<br><br>
<b>Returns:</b><br>
0 - forma nieokreślona, 1 - forma nieujemnie określona, 2 - forma dodatnio określona
		 
<br><br>

</dd>
</dl>
<script>explorer.outline.decSymbolLevel();</script>


</dd>

<script>explorer.outline.writeEnabled = true;</script>
<dt><span class="decl">class 
<span class="currsymbol">Quiver</span>
<script>explorer.outline.addDecl('Quiver');</script>

;
</span></dt>
<script>explorer.outline.writeEnabled = false;</script>


<dd>Klasa grafów skierowanych z wagami
<br><br>
Wierzchołki grafu skierowanego są indeksowane liczbami naturalnymi
 w celu zachowania zgodności z definicją grafu formy kwadratowej.
<br><br>

 Każda waga domyślnie jest równa 1. Inne wartości wagi wyznaczają mnożnik
 dla dwumianu określanego przez daną krawędź.
 
<br><br>


<script>explorer.outline.incSymbolLevel();</script>
<dl></dl>
<script>explorer.outline.decSymbolLevel();</script>


</dd>

<script>explorer.outline.writeEnabled = true;</script>
<dt><span class="decl">class 
<span class="currsymbol">Poset</span>
<script>explorer.outline.addDecl('Poset');</script>

: lattice.reprezentation.Quiver;
</span></dt>
<script>explorer.outline.writeEnabled = false;</script>


<dd>Klasa zbiorów częściowo uporządkowanych
<br><br>
Połączenie cech grafu skierowanego i drzewa. Wierzchołki są indeksowane
 liczbami całkowitymi bez znaku w taki sposób, aby elementy największe
 miały największe indeksy, oraz aby dla każdej pary elementów porównywalnych
 element mniejszy miał mniejszą wartość indeksu.
 
<br><br>


<script>explorer.outline.incSymbolLevel();</script>
<dl></dl>
<script>explorer.outline.decSymbolLevel();</script>


</dd>
</dl>
<script>explorer.outline.decSymbolLevel();</script>


</td></tr>
		<tr><td id="docfooter">
			Page was generated with
			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
			on Tue Jun  5 20:36:05 2007

		</td></tr>
	</table>
</div>
<script>
	explorer.packageExplorer.addModule("main.main");
	explorer.packageExplorer.addModule("lattice.reprezentation");
	explorer.packageExplorer.addModule("lattice.solver");
	explorer.packageExplorer.addModule("gui.winmain");</script>
</body></html>


